GADDUCCI, FABIO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IFIP Advances in Information and Communication Technology] History and Philosophy of Computing Volume 487 ||

Gadducci, Fabio, Tavosanis, Mirko

Year:

2016

Language:

english

File:

PDF, 14.59 MB

english, 2016

2

Soft constraint automata with memory

Dokter, Kasper, Gadducci, Fabio, Lion, Benjamin, Santini, Francesco

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 526 KB

2021

3

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Rewriting with Frobenius

Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

4

[Lecture Notes in Computer Science] Graph Transformation Volume 12150 (13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25â26, 2020, Proceedings) ||

Gadducci, Fabio, Kehrer, Timo

Year:

2020

File:

PDF, 15.25 MB

2020

5

Pisa, 1954â1961: Assessing Key Stages of a Seminal Italian Project

Cignoni, Giovanni A., Gadducci, Fabio

Journal:

IEEE Annals of the History of Computing

Year:

2020

File:

PDF, 3.41 MB

2020

6

A Note on an Old-Fashioned Algebra for (Disconnected) Graphs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

7

Processes as formal power series: A coinductive approach to denotational semantics

Michele Boreale, Fabio Gadducci

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 334 KB

english, 2006

8

About permutation algebras, (pre)sheaves and named sets

Fabio Gadducci, Marino Miculan, Ugo Montanari

Journal:

Higher-Order and Symbolic Computation

Year:

2006

Language:

english

File:

PDF, 464 KB

english, 2006

9

Analysis of Treatment Failures and Survival of Patients with Fallopian Tube Carcinoma: A Cooperation Task Force (CTF) Study

Angiolo Gadducci, Fabio Landoni, Enrico Sartori, Tiziano Maggino, Paolo Zola, Antonio Gabriele, Rita Rossi, Stefania Cosio, Antonio Fanucchi, Giancarlo Tisi

Journal:

Gynecologic Oncology

Year:

2001

Language:

english

File:

PDF, 99 KB

english, 2001

10

Modelling and analyzing adaptive self-assembly strategies with Maude

Bruni, Roberto, Corradini, Andrea, Gadducci, Fabio, Lluch Lafuente, Alberto, Vandin, Andrea

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.46 MB

english, 2015

11

Concurrency cannot be observed, asynchronously

BALDAN, PAOLO, BONCHI, FILIPPO, GADDUCCI, FABIO, MONREALE, GIACOMA VALENTINA

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 645 KB

english, 2015

12

Observational and behavioural equivalences for soft concurrent constraint programming

Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

13

Patterns of recurrence in patients with squamous cell carcinoma of the vulva : A multicenter CTF study

Tiziano Maggino, Fabio Landoni, Enrico Sartori, Paolo Zola, Angiolo Gadducci, Chiara Alessi, Marika Soldà, Stefania Coscio, Giovanna Spinetti, Andrea Maneo, Annamaria Ferrero, Giuseppe Konishi de Toff

Journal:

Year:

2000

Language:

english

File:

PDF, 95 KB

english, 2000

14

Inequational Deduction as Term Graph Rewriting

Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 342 KB

english, 2007

15

Preface

Maurice ter Beek, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 71 KB

english, 2006

16

Modelling Calculi with Name Mobility using Graphs with Equivalences

Paolo Baldan, Fabio Gadducci, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

17

A Calculus for Team Automata

Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 377 KB

english, 2008

18

Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 2.13 MB

english, 2009

19

Some Characterization Results for Permutation Algebras

Fabio Gadducci, Marino Miculan, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 383 KB

english, 2004

20

On Term Graphs as an Adhesive Category

Andrea Corradini, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 301 KB

english, 2005

21

Graphical Verification of a Spatial Logic for the π-calculus

Fabio Gadducci, Alberto Lluch Lafuente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 444 KB

english, 2006

22

A causal semantics for CCS via rewriting logic

Pierpaolo Degano, Fabio Gadducci, Corrado Priami

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 206 KB

english, 2002

23

A functorial semantics for multi-algebras and partial algebras, with applications to syntax

Andrea Corradini, Fabio Gadducci

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 273 KB

english, 2002

24

Normal forms for algebras of connections

Roberto Bruni, Fabio Gadducci, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 392 KB

english, 2002

25

Comparing logics for rewriting: rewriting logic, action calculi and tile logic

Fabio Gadducci, Ugo Montanari

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 385 KB

english, 2002

26

Tiles, Rewriting Rules and CCS

Fabio Gadducci, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.21 MB

english, 1996

27

Comparing cospan-spans and tiles via a Hoare-style process calculus

Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F.C. Walters

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 241 KB

english, 2002

28

GS·Λ Theories: A Syntax for Higher-Order Graphs

Matteo Coccia, Fabio Gadducci, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 263 KB

english, 2003

29

Some algebraic laws for spans (and their connections with multirelations)

Roberto Bruni, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 272 KB

english, 2003

30

A Concurrent Graph Semantics for Mobile Ambients

Fabio Gadducci, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 451 KB

english, 2001

31

CCS Semantics via Proved Transition Systems and Rewriting Logic

Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 959 KB

english, 1998

32

A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting

Fabio Gadducci, Reiko Heckel, Mercé Llabrés

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.15 MB

english, 1999

33

Preface: Volume 71

Fabio Gadducci, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 49 KB

english, 2004

34

Preface

Maurice ter Beek, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 172 KB

english, 2007

35

Preface

Alessandro Aldini, Maurice ter Beek, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 208 KB

english, 2009

36

Categorical rewriting of term-like structures

Andrea Corradini, Fabio Gadducci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

37

An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories

Andrea Corradini, Fabio Gadducci

Journal:

Applied Categorical Structures

Year:

1999

Language:

english

File:

PDF, 247 KB

english, 1999

38

Carcinosarcoma of the Uterus: A Clinicopathological Multicenter CTF Study

Enrico Sartori, Luca Bazzurini, Angiolo Gadducci, Fabio Landoni, Andrea Lissoni, Tiziano Maggino, Paolo Zola, Beniamino La Face

Journal:

Gynecologic Oncology

Year:

1997

Language:

english

File:

PDF, 101 KB

english, 1997

39

Analysis of Failures after Negative Second-Look in Patients with Advanced Ovarian Cancer: An Italian Multicenter Study

Angiolo Gadducci, Enrico Sartori, Tiziano Maggino, Paolo Zola, Fabio Landoni, Antonio Fanucchi, Nicoletta Palai, Chiara Alessi, Anna Maria Ferrero, Stefania Cosio, Renza Cristofani

Journal:

Gynecologic Oncology

Year:

1998

Language:

english

File:

PDF, 105 KB

english, 1998

40

An Analysis of Approaches to the Management of Endometrial Cancer in North America: A CTF Study

Tiziano Maggino, Cesare Romagnolo, Fabio Landoni, Enrico Sartori, Paolo Zola, Angiolo Gadducci

Journal:

Gynecologic Oncology

Year:

1998

Language:

english

File:

PDF, 70 KB

english, 1998

41

A Presheaf Environment for the Explicit Fusion Calculus

Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

42

Local arc consistency for non-invertible semirings, with an application to multi-objective optimization

Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon, Francesco Santini

Journal:

Expert Systems with Applications

Year:

2012

Language:

english

File:

PDF, 529 KB

english, 2012

43

Synthesising CCS bisimulation using graph rewriting

Filippo Bonchi, Fabio Gadducci, Barbara König

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 989 KB

english, 2009

44

A decentralised graphical implementation of mobile ambients

Fabio Gadducci, Giacoma Valentina Monreale

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 1.62 MB

english, 2011

45

Pre-chemotherapy hemoglobin levels and survival in patients with advanced epithelial ovarian cancer who received a first-line taxane/platinum-based regimen: Results of a multicenter retrospective Italian study

Angiolo Gadducci, Enrico Sartori, Fabio Landoni, Paolo Zola, Tiziano Maggino, Nicoletta Colombo, Antonio Fanucchi, Francesca Chiudinelli, Mariateresa LaPresa, Anna Maria Ferrero

Journal:

Gynecologic Oncology

Year:

2005

Language:

english

File:

PDF, 2.26 MB

english, 2005

46

Serum Half-Life of CA 125 during Early Chemotherapy as an Independent Prognostic Variable for Patients with Advanced Epithelial Ovarian Cancer: Results of a Multicentric Italian Study

Angiolo Gadducci, Paolo Zola, Fabio Landoni, Tiziano Maggino, Enrico Sartori, Tiziana Bergamino, Renza Cristofani

Journal:

Gynecologic Oncology

Year:

1995

File:

PDF, 340 KB

1995

47

Uterine Leiomyosarcoma: Analysis of Treatment Failures and Survival

Angiolo Gadducci, Fabio Landoni, Enrico Sartori, Paolo Zola, Tiziano Maggino, Andrea Lissoni, Luca Bazzurini, Riccardo Arisio, Cesare Romagnolo, Renza Cristofani

Journal:

Gynecologic Oncology

Year:

1996

Language:

english

File:

PDF, 116 KB

english, 1996

48

The Relationship between Postoperative Decline of Serum CA 125 Levels and Size of Residual Disease after Initial Surgery in Patients with Advanced Ovarian Cancer: A CTF Study

Angiolo Gadducci, Fabio Landoni, Tiziano Maggino, Enrico Sartori, Paolo Zola, Antonio Fanucchi

Journal:

Gynecologic Oncology

Year:

1996

Language:

english

File:

PDF, 61 KB

english, 1996

49

Endometrial Stromal Sarcoma: Analysis of Treatment Failures and Survival

Angiolo Gadducci, Enrico Sartori, Fabio Landoni, Paolo Zola, Tiziano Maggino, Alessandro Urgesi, Andrea Lissoni, Giuseppe Losa, Antonio Fanucchi

Journal:

Gynecologic Oncology

Year:

1996

Language:

english

File:

PDF, 106 KB

english, 1996

50

[Lecture Notes in Computer Science] Architecting Dependable Systems VI Volume 5835 || Towards Self-adaptation for Dependable Service-Oriented Systems

de Lemos, Rogério, Fabre, Jean-Charles, Gacek, Cristina, Gadducci, Fabio, ter Beek, Maurice

Year:

2009

Language:

english

File:

PDF, 694 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски